将格式化的日期字符串转换为Unix时间戳(php)