Discovery of N-(2-hydroxy-2-aryl-cyclohexyl) substituted spiropiperidines as GlyT1 antagonists with improved pharmacological profile