We have two children (ages 7 and 10). Looking at hotels in Malaga with a swimming pool if possible. Are there any good places that children would enjoy.