On Predictive Maintenance in Industry 4.0: Overview, Models, and Challenges | Synapse