Costa del Sol records a historic summer with 30% surge in tourism revenue