Splitting of Andreev levels in a Josephson junction by spin-orbit coupling