Mystery at the library: encouraging library exploration using a pervasive mobile game.