Should I book Granada train tickets from Seville Santa Justa in mid May in advance or should you book on the day? How best to book in advance?