Seville Cathedral rooftop tour – is it worth it?