Operator systems and noncommutative geometry