Text this: Implementation of sharia in the management of the Ibrahim Sharia Hotel and the Prayer Sharia Hotel in Semarang