k-hot encoding (like 1-hot, but with k active bits)