Home heating control using a Raspberry Pi