Matrix theory compactification on noncommutative T4/Z2