simple function to pad a number with zeroes