The Castildetierra geologic formation in the Bardenas Reales desdert badland in Navarre region, Spain