Algebraic Geometry over $C^\infty $-Rings