expected shortfall closed form