Crude oil passes US$94.00 a barrel; sets new all-time record high