LEALLA: Learning Lightweight Language-agnostic Sentence Embeddings with Knowledge Distillation