A SHORT INTRODUCTION TO AUTOMATIC GROUP THEORY