Compact hyperkähler manifolds: basic results