lectures on symplectic geometry cannas da silva