Degree of a field extension