Necessary and sufficient conditions for the approximate controllability of fractional linear systems via C−semigroups