An introduction to noncommutative geometry