Python Regex Extract Number After String Theory