Bismut formulae and applications for functional SPDEs