From vertex operator algebras to conformal nets and back