Energy, mining stocks push FTSE 100 higher; Shell top gainer