Foliated symplectic topology