Mulhacen Peak (3482 m), the highest peak in mainland Spain