Energy efficient building environment control strategies using real-time occupancy measurements