Miners, energy stocks lift FTSE 100; mid-cap index sets record closing high