Fixed point problems and rigorous computer assisted analysis of dynamical systems: equilibria, periodic orbits, invariant manifolds, and connecting orbits