A spiking neural network model for fractional proprioceptive encoding of limb posture and movement in insects | Synapse