Mining shares help FTSE 100 to a 0.5% gain

Mining stocks led a rise for the FTSE 100, with Fresnillo, Anglo American and Rio Tinto among the four main gainers.