Hardground development on Miocene ramp succession of the Western Mediterranean area: sea level changes versus trophic resources.