Theory of dirty superconductors