Rittmannite, a new mineral species of the whiteite group from the Mangualde granitic pegmatite, Portugal