Change php's DateTime behavior to use Monday as first day of the week