Wireless Network Dimensioning And Provisioning For Ultra-Reliable Communication: Modeling And Analysis