How do you write 5^x=25 in log form?