Automatic Structures: Richness and Limitations (Logical Methods in Computer Science, 2007)