Strategy Synthesis in POMDPs via Game-Based Abstractions