London stocks gain as global tech rout eases; industrial miners weigh