A millisecond pulsar in an X-ray binary system