A BDDC Preconditioner for Saddle Point Problems