Time-Dependent Availability Analysis for Ship Electric Redundant Propulsion Systems Using Petri Nets