Optimisation in Neurosymbolic Learning Systems