Reversible Circuits Synthesis Based on EXOR-sum of Products of EXOR-sums