Representations of conformal nets, universal C*-algebras and K-theory