Basic Noncommutative Geometry