INTEGRAL observations of the Crab pulsar