Discovering user mobility and activity in smart lighting environments