Local conformal nets arising from framed vertex operator algebras