Serpentinization of peridotite