python: most efficient way to convert date to datetime,"datetime(date.year, date.month, date.day)"