Hyperkähler Manifolds and Algebraic Geometry