The Garden of Eden Theorem for Linear Cellular Automata