Optimal Receive Beamforming for Over-the-Air Computation | Synapse