The General Theory of Linear Difference Equations over the Max‐Plus Semi‐Ring