Practical synthesis of potent sphingosine-1-phosphate lyase inhibitors THI and LX2931