-- Implement (efficient) modular exponentiation
-- usage: expmod a n m = b
-- assumes: n >= 0, m >= 2
-- assures: a^n ≡ b (mod m), 0 <= b < m