Proofs of data reliability: Verification of reliable data storage with automatic maintenance