European stocks hit record high on earnings and mining rally — Trace