The homotopy category of complexes of projective modules