¿Con qué otra actriz se casó Sir Laurence Olivier, tras divorciarse de Vivien Leigh?