Android app frontend for Raspberry Pi home automation system