Kondo effect in a semiconductor quantum dot coupled to ferromagnetic electrodes