python: most efficient way to convert date to datetime,"datetime.datetime.combine(my_date, datetime.time.min)"