Occupancy prediction algorithms for thermostat control systems using mobile devices