Closing the Loop on the Brain: Designing Neurofeedback Systems with Active Inference | Nimbus