Finiteness results for algebraic K3 surfaces