Kaon production in heavy-ion collisions and kaon condensation in neutron stars