how to patch a swimming pool with hydraulic cement