Fundamentals of Frequency Domain Migration