python string splitting,"re.split('(\\d+)', 'a1b2c30d40')"