プログレス、ドッキング