Designing an educational game