How to classify K3s over an arbitrary field k?