Rule-based integration: An extensive system of symbolic integration rules