what does the royal mint of spain do