Principles and methods for historical linguistics