Samsung posts record profit, but mobile slips despite Galaxy S4 launch