python logging time format milliseconds