PHP日期和时间之将格式化的日期字符串转换为Unix时间戳