Provisional designation in astronomy