Coding for play: Identifying and categorizing educator-designed group playful learning experiences in libraries and other informal learning environments