Martingales and Profile of Binary Search Trees