Frequency of occupation with different simultaneously offered devices by fattening pigs kept in pens with or without straw