Mathematical formulations of quantum mechanics