Operator algebras: an introduction