Tannakian formalism for fiber functors over tensor categories