Mining, energy stocks drag FTSE 100; travel stocks surge