Formation of the Galactic Millisecond Pulsar Triple System PSR J0337+1715 - a Neutron Star with Two Orbiting White Dwarfs