A pedagogical framework for mobile learning: Categorizing educational applications of mobile technologies into four types | Synapse