On Minimal Models And Canonical Models Of Elliptic Fourfolds With Section