Escaping percent sign in string formatting