Swimming pool roofs: minimising the risk of condensation using warm-deck roofing