Expected Shortfall Under The Normal Distribution