What is the height of Mount Mulhacen, which is the highest point in the whole Spain?

**********