已知1990年元旦是星期一,那么2000年五月一日是星期几?