Pareto's Theory of Social and Economic Cycles: A Formal Model and Simulation