Population synthesis of double neutron stars | Synapse