元号法制化とは