Microscopic derivation of density functional theory for superfluid systems based on effective action formalism