Models and Services for Mobile Learning Systems