简述现存立体土地所有权的四种形态。