Modeling, Analysis And Simulation Of The Stokes-Darcy System With Beavers-Joseph Interface Condition