php用正则判断是否为数字的方法