Cycloidal cracks on Europa: Improved modeling and non-synchronous rotation implications