Admissible Sets and Structures. An Approach to Definability Theory