Strong converse and Stein's lemma in quantum hypothesis testing