Fin-shaped field-effect transistor (FinFET)