Fix for Thailand mobile numbers

This is a fix for Thailand mobile numbers. They can be 9 digits (excluding the leading `0`). Also removing parens that looked pointless.