Python based pool manager for the Raspberry Pi using temperature sensors and relays to control heating pump