Refactor and discard the term "procedure" from the UI

[koshikraj]

Description

• Replace the term "procedure" with "arbitration", "arbitration request", or something appropriate in the UI.
• Replace the term "procedure" with "arbitration", "arbitration request", or something appropriate in the source code.