intelsat 20 dish size