handle valid malaysian mobile numbers with 13 digits. fixes #182