PSR J1012+5307: a millisecond pulsar with an extremely low-mass white dwarf companion