Python flavored string formatting