Theoretical Aspects of Local Search