Siegel modular forms of degree three and the cohomology of local systems