changed document type to article so the section numbering looks better. added subsubsections to the fault tolerance section.