Mapping tori of free group automorphisms are coherent