Warrnambool pools close for three days as new non-slip surface is repaired