Water hammer protective performance of a spherical air vessel caused by a pump trip