Public Korean embedding models with benchmark results and model cards