Orbital dynamics in the post-Newtonian planar circular restricted Sun–Jupiter system