python regular expression for numerical character