Homological Algebra of Semimodules and Semicontramodules