Mathematical foundations of quantum mechanics: an advanced short course