Josephson current through a quantum dot with spin-orbit coupling