Strings in AdS_4 × CP^3: finite size spectrum vs. Bethe Ansatz