java判断输入类型是不是数字