Rubi: Symbolic integrator based on an extensive system of integration rules