Please write in C# following Specifications

The Wide Area Augmentation system (WAAS) is an air navigation aid developed by the Federal Aviation Administration to augment the signals sent from the Global Positioning System (GPS), with the goal of improving its accuracy, integrity and availability. A user will utilize the information broadcast from the GPS satellites to determine its location. Furthermore, a user will enhance its position solution through the GEO broadcast WAAS corrections information. Since different users at different locations view different sets of satellites, the attributes for different WAAS users are different. In this project, you are going to model the availability for different WAAS users, where a user is classified by the region. To simplify the problem, lets define 5 types of users, each of them "is a" WAAS user, while "WAAS user" is an abstract concept in terms of object-oriented language. The 5 types of "concrete" users are: Alaska User, CONUS User, Hawaiian User, Canada User, and Mexico User. Availability Define availability as the probability that a system is working. The WAAS specification mandates availability as 99.999% the service area. Again, to simplify the problem, let's assume availability is purely determined by the number of GPS satellites "in view." Moreover, assume that at least 4 GPS satellites are required in order to have a position solution. Let p be the probability that a satellite is working, assuming p = 0.999. Then, the availability of a user with n satellites in view would be sigma^n_i = 4(n i) p^i(1 - p)^n - 1 The number of satellites in view (i.e., n) for each type of users defined above is shown in the following table: Design and implement a program using object-oriented programming language C# to model such a system. The following requirements must be satisfied: Encapsulation, Inheritance and Polymorphism must be applied Specify a "WAAS User" as an abstract Create 5 users of each type described above Declare an array whose elements are "pointers to WAAS Users" Assign each element of the array to the 5 users instantiated above Display the number of satellites in-view for all users Estimate and display the availability for all types of users