Recent results in higher dimensional isometric embedding