Describir: Managing devices of a one-to-one computing educational program using an IoT infrastructure