[sql-server] How to convert int to char with leading zeros?