Finite sections: A functional analytic perspective on approximation methods