Theoretical Study on the TBM Tool-Rock Interaction