Normal distribution: Finding a probability, advanced