Spacelike Singularities in General Relativity and the BKL Proposal