python regex for integer