Mathematical programming approach to multidimensional mechanism design for single machine scheduling