Exactly soluble model of a three-dimensional symmetry-protected topological phase of bosons with surface topological order | Synapse