Modeling and fin optimization of PCM thermal engines considering phase change volume shrinkage of underwater gliders