Provisional minor planet designation