Theoretical Investigation of Ice-Shedding Coatings