What is a Short Squeeze and How to Trade It?