Photoferrotrophy, deposition of banded iron formations, and methane production in Archean oceans