AP_NavEKF: simplify variable handling in EKF

use named state variables instead of states[] array where possible.
AP_NavEKF: make it clear that all sat counts are covered