European stocks close at record highs as upbeat earnings outshine tech slump