Theoretical and Numerical Aspects of Modelling Geological Carbon Storage with Application to Muographic Monitoring