Partial Regularity for Fully Nonlinear Elliptic PDE