Hotel prices on the Costa del Sol in July were the most expensive ever