Semigroup Well-Posedness And Finite Element Analysis Of A Biot-Stokes Interactive System