Manin conjectures for K3 surfaces