Choosing a Spanning Tree for the Integer Lattice Uniformly